Procédure d'évaluation approfondie des procédés de solidification-stabilisation des déchets ultimes programme P.E.A.

Vers l'Exécutabilité des Modèles de Procédés Logiciels

Résumé. L'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la productivité des logiciels à travers la manipulation de modèles dès les premières phases de développement. La finalité étant de pouvoir utiliser les modèles non seulement pour des fins de compréhension et de description mais aussi de production. Les modèles de procédés de développement logiciels sont au c...

Decentralisation des procédés métiers : qualité de services et confidentialité

This thesis studies decentralized management of business processes in the context of serviceoriented architectures. We present a generic approach that enables decentralized executions withcooperating processes by implemeting the centralized semantic with P2P interactions. Precisely,we present our method that derives the latter. We focus on the sophisticated control/data flowand ...

Stabilisation des suspensions sporulees de Bacillus anthracis par le soldium ethyl thyiosalicylate

Stabilisation des suspensions sporulees de bacillus anthtacis par le sodium ethyl mercury thiosalicylate

Etude analytique de l'immunoprophylaxie de l'agalaxie contagieuse des chèvres et des moutons